| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Formal Methods for Logic Control Software | Formale Methoden für Steuerungssoftware (WS) | Fach-/Modulprüfung | 6 | 363434 | ||
| Formale Methoden für Steuerungssoftware (Übung) | Fach-/Modulprüfung | 364906 | ||||
| Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 355123 | Di 12:30-14:00 AH III (2350|314.1) (×14) Fr 12:30-14:00 AH III (2350|314.1) (×13) | |||
| Foundations of the UML | Theoretical Foundations of the UML (FUML) | Übung | 389620 | |||
| Theoretical Foundations of the UML (FUML) | Vorlesung | 389621 | ||||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 371854 | ||
| Introduction to Model Checking | Übung | 370402 | Fr 10:30-12:00 5056 (2356|056) (×10) | |||
| Introduction to Model Checking | Vorlesung | 370403 | Do 10:30-12:00 AH II (2350|111) (×13) Fr 14:30-16:00 AH III (2350|314.1) (×8) | |||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung (Satisfiability Checking) | Fach-/Modulprüfung | 6 | 370393 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 361389 | Mo 08:30-10:00 AH III (2350|314.1) (×15) Di 08:30-10:00 AH III (2350|314.1) (×15) |